$\forall$$L$:(Realizer List), $A$:Realizer. ($A$ $\in$ $L$) $\Rightarrow$ $A$ $\subseteq$ $\oplus$($L$)